-
1 axiomatic extension
Большой англо-русский и русско-английский словарь > axiomatic extension
-
2 axiomatic extension
Математика: аксиоматическое расширение -
3 axiomatic extension
-
4 axiomatic extension
Англо-русский словарь по исследованиям и ноу-хау > axiomatic extension
-
5 extension
1) надставка; насадка2) удлинитель3) выступающая часть, консольная часть4) пристройка5) продление; продолжение6) простирание; протяжённость; распространение7) растяжение; распрямление8) сварка установочная длина9) геод. сгущение сети опорных точек10) расширение; удлинение; добавление; увеличение11) экстенсия, разгибание•extension in space — матем. протяжённость в пространстве
extension by definition — матем. расширение с помощью определений
extension by adjunction — матем. расширение путём присоединения
-
6 аксиоматическое расширение
Большой англо-русский и русско-английский словарь > аксиоматическое расширение
-
7 space
1) интервал, промежуток2) пробел || оставлять пробелы3) область; площадь4) пространство || пространственный5) космос, космическое пространство6) полость7) расстояние•- absolutely compact space - absolutely embedded space - absolutely thick space - algebraically parallel space - almost complex space - almost expandable space - almost isomorphic space - almost metric space - almost nonsingular space - almost paracompact space - almost pretopological space - analytically ramified covering space - arcwise connected space - centrally harmonic space - compactly ordered space - completely continuous space - completely degenerate space - completely disconnected space - completely harmonic space - completely metric space - completely normal space - completely reducible space - completely regular space - completely reticulated space - completely separable space - completely separated space - completely symmetric space - completely uniformizable space - constant curvature space - continuous sample space - continuously ordered space - contractible in itself space - countably compactifiable space - countably dimensional space - countably generated space - countably infinite space - countably metacompact space - countably multinormed space - countably normed space - countably paracompact space - countably refinable space - countably subcompact space - finitely productive space - finitely sheeted space - finitely triangulated space - fully normal space - general metrizable space - general topological space - global analytic space - globally symmetric space - hereditarily normal space - hereditarily paracompact space - hereditarily separable space - hereditarily symmetric space - holomorphic tangent space - holomorphically complete space - holomorphically convex space - homotopy associative space - iterated loop space - linearly connected space - linearly ordered space - linearly topologized space - load space - locally bounded space - locally closed space - locally compact space - locally complete space - locally connected space - locally contractible space - locally convex space - locally directed space - locally fine space - locally holomorphic space - locally homogeneous space - locally hyperbolic space - locally linear space - locally metrizable space - locally ringed space - locally separable space - locally simply connected space - locally solid space - locally spherical space - locally star-shaped space - locally symmetric space - locally timelike space - locally triangulable space - monotonically normal space - naturally isomorphic space - naturally ordered space - naturally reductive space - nearly paracompact space - negative metric space - normally separated space - not simply connected space - nowhere connected space - null space of linear transformation - n-way projective space - perfectly normal space - perfectly regular space - perfectly screenable space - perfectly separable space - peripherically bicompact space - peripherically compact space - pointwise paracompact space - projectively metric space - quaternion hyperbolic space - quaternion projective space - quaternion vector space - regularly ordered space - relatively discrete space - relatively strong space - sequentially closed space - sequentially compact space - sequentially complete space - sequentially quasicomplete space - sequentially separable space - simply ordered space - simply partitionable space - space of affine connectedness - space of complex homomorphisms - space of continuous functions - space of finite measure - space of linear interpolation - space of right cosets - space of scalar curvature - strongly bounded space - strongly closed space - strongly compact space - strongly complete space - strongly irreducible space - strongly normal space - strongly normed space - strongly paracompact space - strongly pseudocompact space - strongly pseudometrizable space - strongly rigid space - strongly screenable space - structural space - structure space - topologically complete space - totally disconnected space - totally geodesic space - totally imperfect space - totally normal space - totally orderable space - totally ordered space - water jacket space - weakly closed space - weakly compact space - weakly complete space - weakly covering space - weakly dense space - weakly favorable space - weakly n-dimensional space - weakly paracompact space - weakly regular space - weakly separable space - weakly symmetric spaceto space out — полигр. набирать вразрядку
См. также в других словарях:
Extension (semantics) — In any of several studies that treat the use of signs, for example in linguistics, logic, mathematics, semantics, and semiotics, the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its… … Wikipedia
Linear extension — In order theory, a branch of mathematics, a linear extension of a partial order is a linear order (or total order) that is compatible with the partial order. Contents 1 Definitions 2 Order extension principle 3 Related results … Wikipedia
Areas of mathematics — Mathematics has become a vastly diverse subject over history, and there is a corresponding need to categorize the different areas of mathematics. A number of different classification schemes have arisen, and though they share some similarities,… … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
0.999... — In mathematics, the repeating decimal 0.999... (which may also be written as 0.9, , 0.(9), or as 0. followed by any number of 9s in the repeating decimal) denotes a real number that can be shown to be the number one. In other words, the symbols 0 … Wikipedia
Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… … Wikipedia